Dumett-LemmonのModal Companionの定理